Log in

Normal view MARC view ISBD view

Software engineering 1 : abstraction and modelling.

By: Bjorner, Dines.

Contributor(s): Bjorner, Dines.

Material type: materialTypeLabel

materialTypeLabel

BookSeries: Texts in theoretical computer science.Publisher: Berlin: Springer-Verlag, 2006Description: xxxix, 711 p.; ill.: 24 cm.ISBN: 3540211497 .Subject(s): Computer programming | Software engineering | Software Architecture | Proof theory | Model theory | Mathematical logicDDC classification: 005.1

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings ( 1 )
Comments ( 0 )

Item type	Current location	Call number	Status	Date due	Barcode
Books		005.1 BJO (Browse shelf)	Available		014517

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha